$\forall$$i$:Id. $\vdash$${\it es}$.@$i$ locl("a") occurs once